Decomposability of finitely presented modules
نویسندگان
چکیده
منابع مشابه
Quasi-Exact Sequence and Finitely Presented Modules
The notion of quasi-exact sequence of modules was introduced by B. Davvaz and coauthors in 1999 as a generalization of the notion of exact sequence. In this paper we investigate further this notion. In particular, some interesting results concerning this concept and torsion functor are given.
متن کاملClassifying Serre subcategories of finitely presented modules
Given a commutative coherent ring R, a bijective correspondence between the thick subcategories of perfect complexes Dper(R) and the Serre subcategories of finitely presented modules is established. To construct this correspondence, properties of the Ziegler and Zariski topologies on the set of isomorphism classes of indecomposable injective modules are used in an essential way.
متن کاملA Coq Formalization of Finitely Presented Modules
This paper presents a formalization of constructive module theory in the intuitionistic type theory of Coq. We build an abstraction layer on top of matrix encodings, in order to represent finitely presented modules, and obtain clean definitions with short proofs justifying that it forms an abelian category. The goal is to use it as a first step to get certified programs for computing topologica...
متن کاملFinitely Presented Modules over Semihereditary Rings
We prove that each almost local-global semihereditary ring R has the stacked bases property and is almost Bézout. More precisely, if M is a finitely presented module, its torsion part tM is a direct sum of cyclic modules where the family of annihilators is an ascending chain of invertible ideals. These ideals are invariants of M. Moreover M/tM is a projective module which is isomorphic to a dir...
متن کاملFinitely presented modules over semihereditary rings
We prove that each almost local-global semihereditary ring R has the stacked bases property and is almost Bézout. More precisely, if M is a finitely presented module, its torsion part tM is a direct sum of cyclic modules where the family of annihilators is an ascending chain of invertible ideals. These ideals are invariants of M . Moreover M/tM is a projective module which is isomorphic to a di...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the American Mathematical Society
سال: 1970
ISSN: 0002-9939
DOI: 10.1090/s0002-9939-1970-0254030-4